Семёнов А. А. «О ПРЕОБРАЗОВАНИЯХ ЦЕЙТИНА В ЛОГИЧЕСКИХ УРАВНЕНИЯХ » // Прикладная дискретная математика 2009. №4(6) C.28-50
Семенов А. А. , Игнатьев А. С. «АЛГОРИТМЫ РАБОТЫ С ROBDD КАК С БАЗАМИ БУЛЕВЫХ ОГРАНИЧЕНИЙ» // Прикладная дискретная математика 2010. №1(7) C.86-104